Computational Methods for Verification of Stochastic Hybrid Systems
نویسندگان
چکیده
منابع مشابه
Computational Methods for Reachability Analysis of Stochastic Hybrid Systems
Stochastic hybrid system models can be used to analyze and design complex embedded systems that operate in the presence of uncertainty and variability. Verification of reachability properties for such systems is a critical problem. Developing algorithms for reachability analysis is challenging because of the interaction between the discrete and continuous stochastic dynamics. In this paper, we ...
متن کاملComputational Methods for Hybrid Systems
This paper reports the development of a Matlab toolbox for computational analysis of piecewise linear systems. The analysis is based on piecewise quadratic Lyapunov functions, which are computed via convex optimization. In this way, exponential stability and system performance can be assessed. The toolbox also supports efficient simulation of systems with discontinuous dynamics and sliding mode...
متن کاملStochastic Formal Methods for Hybrid Systems
We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft or a nuclear power plant on one side and its software on the other side. This report contains a simple formula based on Lévy’s and Markov’s inequalities and it continues a formal theory of random variables with a spe...
متن کاملVerification of probabilistic bounded $\delta$-reachability for stochastic hybrid systems
Verification of cyber-physical systems is a difficult, yet extremely important, problem. Hybrid systems offer a theoretical framework in which to perform formal verification of cyberphysical systems. In this paper we study the problem of bounded δ-reachability in hybrid systems with random initial parameters. We devise a technique for computing reachability probabilities over a finite number of...
متن کاملComputational techniques for the verification of hybrid systems
Hybrid system theory lies at the intersection of the fields of engineering control theory and computer science verification. It is defined as the modeling, analysis, and control of systems that involve the interaction of both discrete state systems, represented by finite automata, and continuous state dynamics, represented by differential equations. The embedded autopilot of a modern commercial...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
سال: 2008
ISSN: 1083-4427,1558-2426
DOI: 10.1109/tsmca.2007.914777